41. Advances in cryptology-- ASIACRYPT 2011 :
پدیدآورنده : edited by Dong Hoon Lee, Xiaoyun Wang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses,Data encryption (Computer science), Congresses,Data protection, Congresses
رده :
QA76
.
9
.
A25
.
I58
2011
42. Advances in cryptology -- EUROCRYPT 2013 :
پدیدآورنده : Thomas Johansson, Phong Q. Nguyen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial Intelligence.,Computer Security.,Data encryption (Computer science) -- Congresses.
رده :
QA76
.
9
.
A25
T466
2013
43. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
44. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
45. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
46. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
47. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده : Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
52. BL
پدیدآورنده : Ellen D. Reeder, editor ; with essays by Esther Jacobson ... [et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
53. CONCUR '95 :
پدیدآورنده : Insup Lee, Scott A. Smolka, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
54. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
55. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
56. Combinatorics '86 :
پدیدآورنده : edited by A. Barlotti, M. Marchi, G. Tallini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial geometry, Congresses.,Combinatorial geometry.,MATHEMATICS-- Geometry-- General.
رده :
QA167
.
I59
1986eb
57. Complex analysis :
پدیدآورنده : Peter Ebenfelt ... [et al.], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functions of several complex variables, Congresses.,Mathematical analysis, Congresses.,Mathematics.
رده :
QA331
.
7
.
C6723
2010
58. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
59. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edite by M. M. Richter, ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
60. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
